First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
231	Intro First-order theories Higher-order theories Add to Reading List Source URL: www.lama.univ-savoie.fr Language: English - Date: 2010-09-16 03:38:56 Mathematics Logic Mathematical structures Mathematical logic Model theory Universal algebra Metalogic Lawvere theory Topology William Lawvere Structure
232	Revisiting default description logics – and their role in aligning ontologies Kunal Sengupta1 , Pascal Hitzler1 , and Krzysztof Janowicz2 1 Wright State University, Dayton OH 45435, USA Add to Reading List Source URL: geog.ucsb.edu Language: English - Date: 2015-06-12 14:24:23 Logic Abstraction Philosophy Non-classical logic Model theory Reasoning Knowledge representation Logic programming Default logic Description logic First-order logic Web Ontology Language
233	ELWG – E QUILIBRIUM L OGIC W ORKING G ROUP A R EVISED C ONCEPT OF S AFETY FOR G ENERAL A NSWER S ET P ROGRAMS Add to Reading List Source URL: www.ia.urjc.es Language: English - Date: 2009-10-08 06:22:48 Logic Model theory Mathematical logic Abstraction Symbol Interpretation First-order logic Structure Normal distribution Substitution
234	Semantics for core Concurrent ML using computation types Alan Jeffrey Abstract This paper presents two typed higher-order concurrent functional programming languages, based on Reppy’s Concurrent ML. The first is a simp Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:39:09 Theoretical computer science Logic in computer science Software engineering Formal methods Programming language semantics Models of computation Operational semantics Semantics Bisimulation Process calculus Programming language Transition system
235	Translating Alloy specifications to the point-free style Nuno Macedo Departamento de Informática Universidade do Minho Braga, Portugal Add to Reading List Source URL: alfa.di.uminho.pt Language: English - Date: 2014-11-03 12:05:42 Logic Mathematical logic Mathematics Abstraction Model theory Relational model Alloy Z notation First-order logic Structure Finitary relation Relational
236	Policy Auditing over Incomplete Logs: Theory, Implementation and Applications Deepak Garg Limin Jia Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-02-12 12:31:57 Logic Mathematical logic Model theory Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Symbol First-order logic Linear temporal logic FO
237	Lecture Overview • First order logic (FOL) • Inference in FOL • Introduction to Artificial Intelligence Add to Reading List Source URL: www.cs.du.edu Language: English - Date: 2014-04-21 18:58:04
238	PDF Document Add to Reading List Source URL: www.kroening.com Language: English - Date: 2015-02-13 06:17:10 Formal methods Logic in computer science Vienna Development Method Functional analysis General topology Wellfoundedness Satisfiability modulo theories First-order logic Constructible universe F-algebra Ordinal number Sequence
239	PDF Document Add to Reading List Source URL: cs.uwaterloo.ca Language: English - Date: 2014-05-02 10:34:25 Logic Mathematical logic Predicate logic Metalogic Model theory First-order logic Resolution Extension FO Functional dependency
240	PDF Document Add to Reading List Source URL: fellowship.ercim.eu Language: English - Date: 2012-04-20 05:33:36 Patent application Field-programmable gate array Computer architecture Abcde First-order logic Abstraction

UPDATE